Symbole galoisien $l$-adique et théorème de Suslin-Voevodsky

Motivic Complexes of Suslin and Voevodsky

A.

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Arithmétique des courbes elliptiques à réduction supersingulière en p

CONTENTS 1. Introduction 2. Fonction L p-adique analytique et congruences provenant de la distribution modulaire 3. Fonction L p-adique arithmétique 4. Conjecture principale et théorème de Kato 5. λ-invariants et µ-invariants 6. Croissance du groupe de Shafarevich-Tate 7. Exemples Numériques A. Démonstration du théorème 3.2 B. Surjectivité de ρ p , Constante de Manin C. Du côté des calculs D. T...

[2] Théorie des intersections et théorème de Riemann-Roch. Séminaire de Géométrie

[1] Motives. Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held at the University of Washington, Seattle, Washington, July 20–August 2, 1991. Edited by Uwe Jannsen, Steven Kleiman and Jean-Pierre Serre. Proceedings of Symposia in Pure Mathematics, 55, Part 1. American Mathematical Society, Providence, RI, 1994. xiv+747 pp. MR 94i:11003 [2] Théorie des intersections et théorèm...

Optimisation du théorème d’Ax-Sen-Tate et application à un calcul de cohomologie galoisienne p-adique